That's how Michigan got its name.